sublist\_occurence($T$;$L_{1}$;$L_{2}$;$f$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$increasing($f$;$\parallel$$L_{1}$$\parallel$) \& ($\forall$$j$:\{0..$\parallel$$L_{1}$$\parallel^{-}$\}. $L_{1}$[$j$] $=$ $L_{2}$[$f$($j$)] $\in$ $T$)